differentiating implicitly